Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Traducción de los texto encontrados en Leibniz, G. W. (1890). Die philosophischen Schriften von Gottfried Wilhelm Leibniz. Vol. VII (C. Gerhardt, ed.). Berlin: Weidmannsche Buchhandlung. Sobre el uso de la meditación: pp. 77-80. Sobre la vida feliz: p. 81. Sobre la generosidad: pp. 104-108. Traductor: Marvin Sebastián Estrada López. Revisado por: Andrés Botero Bernal.

An approach to phenomenology, by D. Cairns.--Husserl's critique of psychologism: its historic roots and contemporary relevance, by J. Wild.--The ideal of a presuppositionless philosophy, by M. Farber.--On the intentionality of consciousness, by A. Gurwitsch.--The "reality-phenomenon" and reality, by H. Spiegelberg.--The phenomenological concept of "horizon", by H. Kuhn.--Phenomenology and logical empiricism, by F. Kaufmann.--Phenomenology and the history of science, by J. Klein.--Phenomenology and the social sciences, by A. Schuetz.--Art and phenomenology, by F. Kaufmann.--The relation of science to philosophy in the light (...) of Husserl's thought, by L. O. Kattsoff.--Husserl and the social structure of immediacy, by C. Hartshorne.--A materialist approach to Husserl's philosophy, by V. J. McGill.--Outline-sketch of a system of metaphysics, by W. E. Hocking.--Men and the law, by G. Husserl.--The ghost of modality, by H. Weyl.--Supplement: Grundlegende untersuchungen zum phänomenologischen ursprung der räumlichkeit der natur, by E. Husserl. (shrink)

As the Zika virus pandemic continues to bring worry and fear to health officials and medical scientists, Centers for Disease Control and Prevention (CDC) and World Health Organization (WHO) have recommended that residents of the Zika-infected countries, e.g., Brazil, and those who have traveled to the area should delay having babies which may involve artificial contraceptive, particularly condom. This preventive policy, however, is seemingly at odds with the Roman Catholic Church’s position on the contraceptive. As least since the promulgation of (...) Paul VI’s 1968 encyclical, Humanae Vitae, the Church has explicitly condemned artificial birth control as intrinsic evil. However, the current pontiff, Pope Francis, during his recent visit to Latin America, remarked that the use of artificial contraception may not be in contradiction to the teaching of Humanae Vitae while drawing a parallel between the current Zika Crisis and the 1960’s Belgian Congo Nun Controversy. The pope mentioned that the traditional ethical principle of the lesser of two evils may be the doctrine that justified the exceptions. The authors of this paper attempt to expand the theological rationale of the pope’s suggestion. In so doing, the authors rely on casuistical reasoning as an analytic tool that compares the Belgian Congo Nun case and the given Zika case, and suggest that the former is highly similar to, if not the same as, the latter in terms of normative moral feature. That is, in both cases the use of artificial contraception is theologically justified in reference to the criteria that the doctrine of the lesser of two evils requires. The authors wish that the paper would provide a solid theological-ethical ground based on which condom-use as the most immediate and effective preventive measure can be recommended in numerous Catholic hospitals as well as among Catholic communities in the world, particularly the most Zika-affected and largest Catholic community in the world, Brazil – 123 million present Brazilian citizens are reported to be Roman Catholic. (shrink)

Ethical self-management; an introduction to systematic personality psychology, by M. C. Katz.--Four axiological proofs of the infinite value of man, by R. S. Hartman.--Some thoughts regarding the current philosophy of the behavioral sciences, by C. R. Rogers.--Autonomy and community, by D. Lee.--Synergy in the society and in the individual, by A. H. Maslow.--Human nature: its cause and effect; a theoretical framework for understanding human motivation, by M. C. Katz.--Mental health; a generic attitude, by G. W. Allport.--Love feelings in courtship couples; (...) an analysis, by R. P. Hattis.--Economic policies and human well-being, by W. A. Weisskopf.--The great transformation, by H. F. W. Perk.--Contingencies of reinforcement in the design of a culture, by B. F. Skinner.--For further reading. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Sexual Ethics: A Theological Introduction by Todd A. Salzman and Michael G. Lawler, and: Making Love Just: Sexual Ethics for Perplexing Times by Marvin M. EllisonDarryl W. StephensReview of Sexual Ethics: A Theological Introduction TODD A. SALZMAN and MICHAEL G. LAWLER Washington, DC: Georgetown University Press, 2012. 280 pp. $26.95Review of Making Love Just: Sexual Ethics for Perplexing Times MARVIN M. ELLISON Minneapolis: Fortress Press, 2012. (...) 176 pp. $18.00Intended for “the general educated Catholic population” (xiii), Sexual Ethics: A Theological Introduction (SE) is a masterfully abridged version of the authors’ award-winning 2008 book, The Sexual Person: Toward a Renewed Catholic Anthropology (TSP). Nearly all of the text of Sexual Ethics is common to both volumes, much of it edited for a broader audience. Omitted in Sexual Ethics are about seventy pages presenting contemporary debates between the methods and anthropologies of traditionalists and revisionists (most of TSP chapters 2 and 3). New in Sexual Ethics are “Questions for Reflection” at the end of each chapter and a brief discussion of “conscience” (xxv–xxvi).In both books, the authors offer a “historically conscious and revisionist approach” to Catholic sexual morality (SE, 221). Beginning with “two magisterial principles” in “Catholic moral, sexual tradition”—procreation and the confines of marriage—the authors note different theological bases for these principles—nature and reason, respectively (xiii–xiv)—and propose a significant shift in focus from the “‘nature’ of the act” to “the meaning of the act for the human person” (xvii). Chapter 1, which could stand on its own, provides a helpful, “brief history” of “sexual morality in the Catholic tradition,” undergirding the authors’ historical (in contrast with a classicist) approach. In chapter 2, the theological crux of the argument, Todd Salzman and Michael Lawler proceed to explore methodological developments and tensions in magisterial teaching, choosing “the principle of the human person adequately considered,” theologically articulated in Gaudium et spes, as the basis for their proposal of a “unitive sexual anthropology” (47). This holistic anthropological approach to the sexual person attempts to shift the magisterium’s “focus on acts and absolute norms” in sexual ethics to a method more akin to its social ethics, focusing on general principles, interrelationships, and the common good (59). Central to their [End Page 226] argument is a reworking of the concept of complementarity purged “of every suggestion of either gender or sexual inequality” (63). The remainder of the book illustrates “how these principles apply in real, concrete, particular human relationships” (87).To critique the argument of Sexual Ethics necessarily implicates The Sexual Person, which is beyond the scope of this review. Nevertheless, it is reasonable to ask whether the same argument presented as a “renewed Catholic anthropology” (in TSP) for professional theologians functions equally well as a “theological introduction” to sexual ethics (in SE) for a lay (nonscholarly) audience. Chapter 6, “Artificial Reproductive Technologies,” is the most successful in this regard, exploring a range of ethical concerns (e.g., means versus ends, burden of proof, presumptions against, appropriate cautions, and consideration of the common good) to arrive at a qualified expansion of magisterial teaching, which becomes a guide to personal discernment. Other topics in Sexual Ethics include marriage and contraception (chapter 3), cohabitation and premarital sexuality (chapter 4), and homosexuality (chapter 5).Overall, Sexual Ethics functions better as an introduction to Catholic sexual teaching and moral anthropology than as an introduction to sexual ethics. For example, reworking the concept of “complementarity”—despite the authors’ inclination “to abandon both the word and the idea” (63)—may be necessary for reconstructing Catholic tradition, but is not necessarily the most helpful starting point for sexual ethics. Sexual Ethics will be challenging for readers lacking theological training and will be of most interest to those already committed to and invested in magisterial teaching. My recommendation would be to use The Sexual Person as a teacher’s guide when assigning Sexual Ethics. By any measure, these books present a brilliant, careful, and sophisticated scholarly argument that revises Catholic sexual teaching in important and faithful ways.In Making Love Just: Sexual Ethics for Perplexing Times (MLJ), Marvin Ellison provides an accessible, engaging introduction to sexual ethics for... (shrink)

The application of ontology has thus far [in 1998] been confined almost exclusively to the field of knowledge representation. Ontology has been applied, for example, in the design of medical databases and in the construction of geographical information systems. One area which is naturally suited to ontological analysis is that of the law and of social institutions in general. -/- Legal systems are composed of legal entities, such as laws, contracts, obligations, and rights. Their application yields new categories of entities (...) such as: corporations, trademarks, marriages, and parcels of real estate. The categorization of these entities by different legal systems has not, by-and-large, been conducted in ways which exploit the tools of modern ontology. Consequently, contradictions and inconsistencies often arise in the law when, for instance, one type of entity is forced into two mutually exclusive categories (e.g., when software is considered both patentable and copyrightable). Papers are invited which consider these and related issues from a philosophical point of view. (shrink)

Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is an utterly enjoyable and engaging (...) read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life. -/- Contents: Cybersemiotics and the Question of Knowledge (Søren Brier) Information Dynamics in a Categorical Setting (Mark Burgin) Mathematics as a Biological Process (G J Chaitin) Information, Causation and Computation (John Collier) From Descartes to Turing: The Computational Content of Supervenience (S Barry Cooper) A Dialogue Concerning Two World Systems: Info-Computational vs Mechanistic (Gordana Dodig-Crnkovic & Vincent C Müller) Does Computing Embrace Self-Organization? (Wolfgang Hofkirchner) Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (Vladik Kreinovich, Roberto Araiza & Juan Ferret) Bodies — Both Informed and Transformed Embodied Computation and Information Processing (Bruce J MacLennan) Computation on Information, Meaning and Representations: An Evolutionary Approach (Christophe Menant) Interior Grounding, Reflection, and Self-Consciousness (Marvin Minsky) A Molecular Dynamic Network: Minimal Properties and Evolutionary Implications (Walter Riofrio) Super-recursive Features of Evolutionary Processes and the Models for Computational Evolution (Darko Roglic) Towards a Modeling View of Computing (Oron Shagrir) What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean? (Aaron Sloman) Inconsistent Knowledge as a Natural Phenomenon: The Ranking of Reasonable Inferences as a Computational Approach to Naturally Inconsistent (Legal) Theories (Kees (CNJ) de Vey Mestdagh & Jaap Henk (JH) Hoepman) On the Algorithmic Nature of the World (Hector Zenil & Jean-Paul Delahaye) . (shrink)

Computing Methodologies -- Artificial Intelligence.

It seems to me that the ingredients of most theories both in Artificial Intelligence and in Psychology have been on the whole too minute, local, and unstructured to account–either practically or phenomenologically–for the effectiveness of common-sense thought. The "chunks" of reasoning, language, memory, and "perception" ought to be larger and more structured; their factual and procedural contents must be more intimately connected in order to explain the apparent power and speed of mental activities.

Received by the IRE, October 24, 1960. The author's work summarized here—which was done at the MIT Lincoln Laboratory, a center for research operated by MIT at Lexington, Mass., with the joint Support of the U. S. Army, Navy, and Air Force under Air Force Contract AF 19-5200; and at the Res. Lab. of Electronics, MIT, Cambridge, Mass., which is supported in part by the U. S. Army Signal Corps, the Air Force Office of Scientific Research, and the ONR—is based (...) on earlier work done by the author as a Junior Fellow of the Society of Fellows, Harvard University. (shrink)

A leading contributor to artificial intelligence offers insight into the numerous ways in which the mind works to demonstrate how emotions and feelings are just ...

This essay argues that trans philosophy - and perhaps philosophy more broadly - should be understood according to the interplay of social, material, and emotional circulations. It opens by bridging insights from underemployed library work during the COVID-19 pandemic with Sara Ahmed’s analysis of the circulation of emotions in relation to texts and archives. The first major section diagnoses Martha Nussbaum’s confusing analysis of “the new trans scholarship” to establish that trans philosophy is differentially circulated across the discipline of philosophy. (...) The second major section argues that trans philosophy can be understood through the interplay of four different circulations: (1) trans philosophy as creating a space; (2) trans philosophy as the trans question; (3) trans philosophy as the gender wars; and (4) trans philosophy as the trans cult. I conclude that trans philosophy is a field that has yet to clearly form as it continues to twist and multiply according to affect, professional dynamics, political intrigue, who gets thrown away, and who is granted the space, time, energy, and money to write and publish. (shrink)

A comparative method of studying the biological bases of personality compares human trait dimensions with likely animal models in terms of genetic determination and common biological correlates. The approach is applied to the trait of sensation seeking, which is defined on the human level by a questionnaire, reports of experience, and observations of behavior, and on the animal level by general activity, behavior in novel situations, and certain types of naturalistic behavior in animal colonies. Moderately high genetic determination has been (...) found for human sensation seeking, and marked strain differences in rodents have been found in open-field behavior that may be related to basic differences in brain neurochemistry. Agonistic and sociable behaviors in both animals and humans and the trait measure of sensation seeking in humans have been related to certain common biological correlates such as gonadal hormones, monoamine oxidase (MAO), and augmenting of the cortical evoked potential.The monoamine systems in the rodent brain are involved in general activity, exploratory behavior, emotionality, socialization, dominance, sexual and consummately behaviors, and intracranial self-stimulation. Preliminary studies have related norepinephrine and enzymes involved in its production and degradation to human sensation seeking. A model is suggested that relates mood, behavioral activity, sociability, and clinical states to activity of the central catecholamine neurotransmitters and to neuroregulators and other transmitters that act in opposite ways on behavior or stabilize activity in the arousal systems. Stimulation and behavioral activity act on the catecholamine systems in a brain–behavior feedback loop. At optimal levels of catecholamine systems activity (CSA) mood is positive and activity and sociability are adaptive. At very low or very high levels of CSA mood is dysphoric, activity is restricted or stereotyped, and the organism is unsocial or aggressively antisocial. Novelty, in the absence of threat, may be rewarding through activation of noradrenergic neurons. (shrink)

What do corporations look like when they have integrity, and how can we move more companies in that direction? Corporate Integrity offers a timely, comprehensive framework- and practical business lessons - bringing together questions of organizational design, communication practices, working relationships, and leadership styles to answer this question. Marvin T. Brown explores the five key challenges facing modern businesses as they try to respond ethically to cultural, interpersonal, organizational, civic and environmental challenges. He demonstrates that if corporations are to (...) meet the needs of civil society, they must facilitate inclusive communication patterns based on mutual recognition and civic cooperation. Corporate Integrity is essential reading for professionals in organizational ethics, business leaders, and graduate students looking for practical and reflective insights into doing business with integrity and purpose. (shrink)

The primary aim of this paper is to defend the Lockean View—the view that a belief is epistemically justified iff it is highly probable—against a new family of objections. According to these objections, broadly speaking, the Lockean View ought to be abandoned because it is incompatible with, or difficult to square with, our judgments surrounding certain legal cases. I distinguish and explore three different versions of these objections—The Conviction Argument, the Argument from Assertion and Practical Reasoning, and the Comparative Probabilities (...) Argument—but argue that none of them are successful. I also present some very general reasons for being pessimistic about the overall strategy of using legal considerations to evaluate epistemic theories; as we will see, there are good reasons to think that many of the considerations relevant to legal theorizing are ultimately irrelevant to epistemic theorizing. (shrink)

This essay develops a concept of curiotization, through which people are reduced to a curio for the fascination of others. I argue that trans people as they have appeared in media, philosophy, and narratives of history are curiotized as forever fascinating, new, titillating, and controversial. In contrast to the narrative of momentous trans progress in the mid-2010s, I point out that frameworks such as the "Transgender Tipping Point" worked to position its "trans moment" as unprecedented and always on the threshold (...) of arrival. To work through a specific example, I point to decades of renewed fascination over trans women being capable of breastfeeding and the long history of trans fascination in popular music. I conclude by emphasizing the obscured world-historical presence of transsexuality as it coincides with the history of pharmaceuticals, hormone technologies, and birth control. In contrast to a "goldfish memory optics" through which trans people become eternally new, fascinating, and debatable, I stress the importance of restoring the complexity of "trans" and its histories back into an understanding of the present. (shrink)

You don a comfortable jacket lined with sensors and muscle-like motors. Each motion of your arm, hand, and fingers is reproduced at another place by mobile, mechanical hands. Light, dexterous, and strong, these hands have their own sensors through which you see and feel what is happening. Using this instrument, you can "work" in another room, in another city, in another country, or on another planet. Your remote presence possesses the strength of a giant or the delicacy of a surgeon. (...) Heat or pain is translated into informative but tolerable sensation. Your dangerous job becomes safe and pleasant. (shrink)

The primary objective of this paper is to introduce a new epistemic paradox that puts pressure on the claim that justification is closed under multi premise deduction. The first part of the paper will consider two well-known paradoxes—the lottery and the preface paradox—and outline two popular strategies for solving the paradoxes without denying closure. The second part will introduce a new, structurally related, paradox that is immune to these closure-preserving solutions. I will call this paradox, The Paradox of the Pill. (...) Seeing that the prominent closure-preserving solutions do not apply to the new paradox, I will argue that it presents a much stronger case against the claim that justification is closed under deduction than its two predecessors. Besides presenting a more robust counterexample to closure, the new paradox also reveals that the strategies that were previously thought to get closure out of trouble are not sufficiently general to achieve this task as they fail to apply to similar closure-threatening paradoxes in the same vicinity. (shrink)

In this comprehensive study, Marvin Fox offers an approach to Moses Maimonides that illuminates the intersections of his philosophical, religious, and Jewish visions—ideas that have embattled readers of Maimonides since the twelfth century.

Most theories of memory suggest that when we learn or memorize something, some drepresentation of that something is constructed, stored and later retrieved. This raises questions like:How is information represented?How is it stored?How is it retrieved?Then, how is it used?This paper tries to deal with all these at once. When you get an idea and want to “remember” it, you create a “K‐line” for it. When later activated, the K‐line induces a partial mental state resembling the one that created it. (...) A “partial mental state” is a subset of those mental agencies operating at one moment. This view leads to many ideas about the development, structure and physiology of memory, and about how to implement framelike representations in a distributed processor. (shrink)

This chapter attempts to explain why people become confused by questions about the relation between mental and physical events. When a question leads to confused, inconsistent answers, this may be because the question is ultimately meaningless or at least unanswerable, but it may also be because an adequate answer requires a powerful analytical apparatus. It is the author's view that many important questions about the relation between mind and brain are of that second kind, and that some of the necessary (...) technical and conceptual tools are becoming available as a result of work on the problems of making computer programs behave intelligently. We shall suggest a theory to explain why introspection does not give clear answers to these questions. Technical solutions to the questions will not be attempted, but there is probably some value in finding at least a clear explanation of why we are confused. (shrink)

Recent years have seen the rise of a new family of non-probabilistic accounts of epistemic justification. According to these views—we may call them Normalcy Views—a belief in P is justified only if, given the evidence, there exists no normal world in which S falsely beliefs that P. This paper aims to raise some trouble for this new approach to justification by arguing that Normalcy Views, while initially attractive, give rise to problematic accounts of epistemic defeat. As we will see, on (...) Normalcy Views seemingly insignificant pieces of evidence turn out to have considerable defeating powers. This problem—I will call it the Easy-Defeat Problem—gives rise to a two-pronged challenge. First, it shows that the Normalcy View has counterintuitive implications and, second, it opens the door to an uncomfortable skeptical threat. (shrink)

This study was undertaken to investigate whether work variables identified in theory and research as being related to employee experiences/behaviours add to the understanding and explain employees' experiences of workplace harassment. The extent to which social cognitive theory (SCT), specifically moral disengagement, explains the processes by which work characteristics are related to harassment was also examined. The purpose of the study was to identify the presence of relationships among work characteristics, satisfaction, moral disengagement and workplace harassment. According to the results, (...) employees with negative opinions of their work tended to experience negative affect and to believe that it is acceptable to harm others. The results of this study provide evidence of (1) relationships between harassment and several workplace characteristics and (2) the applicability of SCT to the explanation of how work characteristics relate to harassment. (shrink)

In ordinary discourse we often attribute beliefs not just to individuals but also to groups. But can groups really have genuine beliefs? This paper considers but ultimately rejects one of the main arguments in support of the claim that groups can be genuine believers – the Argument From Interpretationism – and concludes that we have good reasons to be sceptical about the existence of group beliefs. According to the Argument From Interpretationism, roughly speaking, groups qualify as genuine believers because we (...) can interpret their behaviour in much the same way that we can interpret the behaviour of individuals. While this argument may seem initially attractive, I argue that it is ultimately unsuccessful. In particular, I argue that the argument is unsuccessful even if one is generally sympathetic towards interpretationism. The reason for this, as we will see, is that a number of problems arise when we try to apply the interpretationist strategy – originally formulated with individual subjects in mind – to plural subjects or groups. In showing why the Argument From Interpretationism fails, the paper also brings into focus some more general constraints on the scope and applicability of interpretationism. (shrink)

When a handful of people thrive while whole industries implode and millions suffer, it is clear that something is wrong with our economy. The wealth of the few is disconnected from the misery of the many. In Civilizing the Economy, Marvin Brown traces the origin of this economics of dissociation to early capitalism, showing how this is illustrated in Adam Smith's denial of the central role of slavery in wealth creation. In place of the Smithian economics of property, Brown (...) proposes that we turn to the original meaning of economics as household management. He presents a new framework for the global economy that reframes its purpose as the making of provisions instead of the accumulation of property. This bold new vision establishes the civic sphere as the platform for organizing an inclusive economy and as a way to move toward a more just and sustainable world. (shrink)